Primitive recursive arithmetic - PDFSEARCH.IO - Document Search Engine

Primitive recursive arithmetic
Results: 16

#	Item
11	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
12	American Computer Science LeagueClassroom Division Questions 1 -5 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:12 Functions and mappings Computability theory Theory of computation Binary arithmetic Octal Function Primitive recursive function Lambda calculus Mathematics Mathematical logic Theoretical computer science
13	arXiv:1111.4405v1 [math.AG] 18 Nov[removed]TRANSFER PRINCIPLES FOR INTEGRABILITY AND BOUNDEDNESS CONDITIONS FOR MOTIVIC EXPONENTIAL FUNCTIONS RAF CLUCKERS, JULIA GORDON, AND IMMANUEL HALUPCZOK Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-27 22:37:41 Fourier analysis Fourier transform Joseph Fourier Exponential function Function Presburger arithmetic Primitive recursive function Mathematical analysis Mathematics Functions and mappings
14	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
15	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
16	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic